A note on fuzzy contractive mappings in fuzzy metric spaces

Definition 1.1 (see [1]). A triple (X ,M,∗), where X is an arbitrary set, ∗ is a continuous t-norm, andM is a fuzzy set on X2× (0,∞), is said to be a fuzzy metric space (in the sense of George and Veeramani) if the following conditions are satisfied for all x, y ∈ X and s, t > 0: (GV-1) M(x, y, t) > 0; (GV-2) M(x, y, t)= 1 if and only if x = y; (GV-3) M(x, y, t)=M(y,x, t); (GV-4) M(x, y,·) is continuous; (GV-5) M(x,z, t+ s)≥M(x, y, t)∗M(y,z,s). Note (see [2]) that the “separation” condition (GV-2) means that